Relaxed Memory Models
データレースを起こさないメモリモデルっぽい
マルチプロセッサシステムにおいてメモリ操作の順序を緩和することを許容するメモリ一貫性モデル(Memory Consistency Model)？
Java Memory ModelはRelaxed Memory Modelsを採用しているらしい
C++11メモリモデルもRelaxed Memory Models?
『Relaxed Memory Models: an Operational Approach』. 2009
『Formal Methods and the WebAssembly Specification』. 2011
Memory Consistency Models. 2015
『Explaining Relaxed Memory Models with Program Transformations』. 2016
プログラミング言語とツールラボ - プロジェクト「IMM: Compilation Correctness for Relaxed Memory Models」
IMM: Compilation Correctness for Relaxed Memory Models
メモ
#godocreading 第9回のおさらい